This text is a classic of Lenin - his essay explores materialism and its relation to capitalism and how Communism can get over this psychological wish for material and empirical ownership.

"This paper deals with the notion of intelligibility crisis in terms of conflict and harmony. Namely, we will analyze the notion of intelligibility from MacIntyre’s philosophical opus and apply it to the historical case. Intelligibility, according to MacIntyre, is the notion which provides us with contextual meaning and embeds our actions with sense within the specific tradition. Intelligibility crisis is the term that is coined to provide a descriptive account of the phenomenon when we cannot connect ourselves with a new (...) social context in which we find ourselves in. To further elaborate on this and apply it onto an example, we shall use the historical case of the Yugoslavian nation. We will provide analysis between three different contextual narratives – pre-Yugoslav narrative, Yugoslav narrative, and post-Yugoslav narrative. After applying the notion of intelligibility crisis onto this historical case study, we will notice how people of one social narrative lose intelligibility by going into another social narrative. Furthermore, we shall consider the notions of conflicts and harmony as those that are connected to intelligibility. The main argument from the descriptive state of things which was offered would be the following – conflicting sentiments arise when we are not in harmony with the narrative within which we have attained intelligibility. Keywords: intelligibility crisis, Yugoslavia, social narratives, meaning, conflicts, harmony". (shrink)

“Toy worlds” involving actions, such as the blocks world and the Missionaries and Cannibals puzzle, are often used by researchers in the areas of commonsense reasoning and planning to illustrate and test their ideas. We would like to create a database of generalpurpose knowledge about actions that encodes common features of many action domains of this kind, in the same way as abstract algebra and topology represent common features of specific number systems. This paper is a report on the first (...) stage of this project—the design of an action description language in which this database will be written. The new language is an extension of the action language C+. Its main distinctive feature is the possibility of referring to other action descriptions in the definition of a new action domain. (shrink)

This is an expository article about the solution to the frame problem proposed in 1980 by Raymond Reiter. For years, his “frame default” remained untested and suspect. But developments in some seemingly unrelated areas of computer science—logic programming and satisfiability solvers—eventually exonerated the frame default and turned it into a basis for important applications.

This is a review of some of the definitions of the concept of a stable model that have been proposed in the literature. These definitions are equivalent to each other, at least when applied to traditional Prologstyle programs, but there are reasons why each of them is valuable and interesting. A new characterization of stable models can suggest an alternative picture of the intuitive meaning of logic programs; or it can lead to new algorithms for generating stable models; or it (...) can work better than others when we turn to generalizations of the traditional syntax that are important from the perspective of answer set programming; or it can be more convenient for use in proofs; or it can be interesting simply because it demonstrates a relationship between seemingly unrelated ideas. (shrink)

In this paper we summarise the constraints that low-redshift data—such as supernovae Ia, baryon acoustic oscillations and cosmic chronometers —are able to set on the concordance model and its extensions, as well as on inhomogeneous but isotropic models. We provide a broad overlook into these cosmological scenarios and several aspects of data analysis. In particular, we review a number of systematic issues of SN Ia analysis that include magnitude correction techniques, selection bias and their influence on the inferred cosmological constraints. (...) Furthermore, we examine the isotropic and anisotropic components of the BAO data and their individual relevance for cosmological model-fitting. We extend the discussion presented in earlier works regarding the inferred dynamics of cosmic expansion and its present rate from the low-redshift data. Specifically, we discuss the cosmological constraints on the accelerated expansion and related model-selections. In addition, we extensively talk about the Hubble constant problem, then focus on the low-redshift data constraint on \ that is based on CC. Finally, we present the way in which this result compares to the high-redshift \ estimate and local measurements that are in tension. (shrink)

This volume offers a wide range of both reconstructions of Nikolai Vasiliev’s original logical ideas and their implementations in the modern logic and philosophy. A collection of works put together through the international workshop "Nikolai Vasiliev’s Logical Legacy and the Modern Logic," this book also covers foundations of logic in the light of Vasiliev’s contradictory ontology. Chapters range from a look at the Heuristic and Conceptual Background of Vasiliev's Imaginary Logic to Generalized Vasiliev-style Propositions. It includes works which cover Imaginary (...) and Non-Aristotelian Logics, Inconsistent Set Theory and the Expansion of Mathematical Thinking, Plurivalent Logic, and the Impact of Vasiliev's Imaginary Logic on Epistemic Logic. The Russian logician, Vasiliev, was widely recognized as one of the forerunners of modern non-classical logic. His "imaginary logic" developed in some of his work at the beginning of 20th century is often considered to be one of the first systems of paraconsistent and multi-valued logic. The novelty of his logical project has opened up prospects for modern logic as well as for non-classical science in general. This volume contains a selection of papers written by modern specialists in the field and deals with various aspects of Vasiliev's logical ideas. The logical legacy of Nikolai Vasiliev can serve as a promising source for developing an impressive range of philosophical interpretations, as it marries promising technical innovations with challenging philosophical insights. (shrink)

in Handbook of Knowledge representation, Elsevier, 2008.

Nonmonotonic causal logic is a knowledge representation language designed for describing domains that involve actions and change. The process of literal completion, similar to program completion familiar from the theory of logic programming, can be used to translate some nonmonotonic causal theories into classical logic. Its applicability is restricted, however, to theories that deal with truth-valued fluents, represented by predicate symbols. In this note we introduce functional completion—a more general process that can be applied to causal theories in which fluents (...) are treated as functions. (shrink)

Felicitous models were defined by Kit Fine in 1987 for the purpose of describing the semantics of negation in the programming language Prolog. They are often referred to as stable models, or answer sets. Years later, sophisticated software systems for generating answer sets were designed, and they became the basis of a new programming paradigm, called answer set programming. That programming method is used now for solving computational problems in many areas of science and technology. This chapter traces the early (...) history of felicitous models and the ways in which that idea contributed to computer science. (shrink)

En el presente escrito se intentará mostrar algunos desafíos que el mundo contemporáneo pone a la educación bajo el influjo de la globalización, procesos que afectan muchos ámbitos del pensar y del actuar humano. Expone una serie de conceptualizaciones sobre dicho tema e invita al análisis serio de ese fenómeno por sus implicaciones sociales.

Set theory -- Logic -- Proofs -- Functions -- Group theory -- Linear algebra.

V celej Heideggerovej tvorbe predstavuje recepcia dejín filozofie dominantný rozmer jeho filozofického u?enia. Autor štúdie sa zamýš?a nad problémom, ?i Heidegger mohol úspešne zav?ši? dokon?enie svojho diela Bytie a ?as ako ho pôvodne ohlásil pri prvom vydaní . Zis?uje, že nenaplnenie pôvodných zámerov k druhej nenapísanej ?asti práce nebolo vôbec náhodným dôsledkom. H?adanie odpovede na otázku bytia v druhej polovici práce Bytie a ?as sústredením sa na filozofické u?enia Kanta, Descarta a Aristotela nemohlo prinies? o?akávané výsledky, preto sa Heidegger po (...) obrate sústredil najmä na recepciu chápania bytia v diele Hegela, Leibniza, Herakleita a Parmenida. V tejto súvislosti autor zis?uje, že ani táto vážna zmena základnej orientácie na dejiny filozofie nemohla by? úspešne zav?šená hlavným problémom Heideggerovej filozofie – premyslie? bytie bez jestvujúcna a tak prejs? od metafyziky jestvujúcna k metafyzike Bytia. (shrink)

This paper is motivated by the idea of interaction between two directions of research in knowledge representation: the design of action description languages and the development of libraries of reusable, general-purpose knowledge components. Writing an action description that characterizes actions in terms of their effects, as common today, can be compared to writing a program that does not use standard subroutines. We conjecture that a library of standard descriptions for a number of “basic” actions can facilitate writing, understanding and modifying (...) action descriptions. In this paper, we take some steps towards determining how such a library, written in the action language C+, can be used. When using an instance of a library action description, we relate the library constants to the domain-specific constants by providing definitions. Therefore, a theory of explicit definitions in C+ is developed. To illustrate the use of the library, we show how the action PushBox in the Monkey and Bananas domain can be described as a special case of the “library action” Move. (shrink)